/LMAR=0/XLINE=3/FONT#0=BAXL30/FONT#1=BAXM30/FONT#2=BASB30/FONT#3=SUB/FONT#4=SUP/FONT#5=BASL35/FONT#6=NGR25/FONT#7=MATH30/FONT#8=FIX25/FONT#9=GRKB30
␈↓ α∧␈↓␈↓ u1


␈↓ α∧␈↓α␈↓ β∂TWO LECTURES ON FORMALIZED NON-MONOTONIC REASONING

␈↓ α∧␈↓␈↓ αTLogical␈α
deduction␈α
is␈α
monotonic␈α
in␈α
that␈α
if␈α
a␈α
sentence␈α
␈↓↓p␈↓␈α
is␈α
deducible␈α
from␈α
a␈α
collection␈α
␈↓↓A␈↓␈α
of
␈↓ α∧␈↓sentences␈α⊃which␈α∩is␈α⊃contained␈α⊃in␈α∩a␈α⊃larger␈α⊃collection␈α∩␈↓↓B,␈↓␈α⊃then␈α⊃␈↓↓p␈↓␈α∩is␈α⊃deducible␈α⊃from␈α∩␈↓↓B.␈↓␈α⊃Human
␈↓ α∧␈↓reasoning␈α∞is␈α∞often␈α∞non-monotonic;␈α∞if␈α∞you␈α∞know␈α∞that␈α∞I␈α∞have␈α∞a␈α∞car␈α∞you␈α∞may␈α∞conclude␈α∞that␈α∞I␈α
will
␈↓ α∧␈↓drive␈αhome,␈αbut␈αon␈αlearning␈αthat␈αthe␈αcar␈α
is␈αbroken␈αyou␈αwill␈αdraw␈αa␈αdifferent␈αconclusion.␈α
 Recently
␈↓ α∧␈↓McCarthy,␈α∂McDermott␈α∂and␈α∂Doyle,␈α∂and␈α∂Reiter␈α∂have␈α∂developed␈α∂different␈α∂formalizations␈α∂of␈α∂non-
␈↓ α∧␈↓monotonic␈αreasoning␈αfor␈αartificial␈αintelligence␈αpurposes.␈α The␈αlecture␈αwill␈αdiscuss␈αthese␈αformalisms
␈↓ α∧␈↓together with many examples of non-monotonic reasoning.

␈↓ α∧␈↓Time: Wednesday, May l4, 2:30 to 4:00 p.m.  Time to be determined for second lecture.

␈↓ α∧␈↓Place: Room 402, Margaret Jacks Hall

␈↓ α∧␈↓Speaker: John McCarthy